Search Results
The mathematical work of Vladimir Voevodsky - Dan Grayson
Vladimir Voevodsky: Revolutionizing Mathematics | Scientist Biography
Overview of Univalent Foundations - Vladimir Voevodsky
Vladimir Voevodsky
Univalent Foundations: New Foundations of Mathematics | Vladimir Voevodsky
4th HLF – Lecture: Vladimir Voevodsky
Gathering in Remembrance of Vladimir Voevodsky
Vladimir Voevodsky: Multiple Concepts of Equality in the New Foundations of Mathematics
Type Systems - Vladimir Voevodsky
Type Systems I - Vladimir Voevodsky
Working Group on Univalent Foundations - Daniel Grayson
Univalent Foundations of Mathematics - Vladimir Voevodsky
